大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

0
索取号：
作者：Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Dayd茅、 Michel.、Palma、 Jos茅 M. L. M.、Coutinho、 脕lvaro L. G. A.、Pacitti、 Esther.、Lopes、 Jo茫o Correia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

0
索取号：
作者：Lukowicz、 Paul.、Thiele、 Lothar.、Tr枚ster、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems [electronic resource] : From Analytical to Soft Computing Approaches

0
索取号：
作者：Witczak、 Marcin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematical Methods in Electro-Magneto-Elasticity [electronic resource]

0
索取号：
作者：Bardzokas、 Demosthenis I.、Filshtinsky、 Michael L.、Filshtinsky、 Leonid A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

0
索取号：
作者：Thomas、 Wolfgang.、Weil、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Soft Computing for Hybrid Intelligent Systems [electronic resource]

0
索取号：
作者：Castillo、 Oscar.、Melin、 Patricia.、Kacprzyk、 Janusz.、Pedrycz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rough-Granular Computing in Knowledge Discovery and Data Mining [electronic resource]

0
索取号：
作者：Stepaniuk、 Jaros艂aw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Soft Computing in Industrial Applications [electronic resource] : Recent Trends

0
索取号：
作者：Saad、 Ashraf.、Dahal、 Keshav.、Sarfraz、 Muhammad.、Roy、 Rajkumar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer-Human Interaction [electronic resource] : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings

0
索取号：
作者：Lee、 Seongil.、Choo、 Hyunseung.、Ha、 Sungdo.、Shin、 In Chul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

0
索取号：
作者：Berekovi膰、 Mladen.、Dimopoulos、 Nikitas.、Wong、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

0
索取号：
作者：Gupta、 Aarti.、Malik、 Sharad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

0
索取号：
作者：Meyden、 Ron.、Torre、 Leendert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2006 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Jointly Organized with the Austrian Society of Operations Research (脰GOR) and the Swiss Society of Operations Research (SVOR) Karlsruhe, September 6鈥謠2006

0
索取号：
作者：Waldmann、 Karl-Heinz.、Stocker、 Ulrike M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed, High-Performance and Grid Computing in Computational Biology [electronic resource] : International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

0
索取号：
作者：Dubitzky、 Werner.、Schuster、 Assaf.、Sloot、 Peter M. A.、Schroeder、 Michael.、Romberg、 Mathilde.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院